La computadora es un sistema formal automático interpretado que manipula tokens de acuerdo a reglas. Los sistemas digitales usan técnicas positivas para producir y re-identificar tokens de manera absoluta e independiente del medio, permitiendo recrear exactamente los mismos textos, juegos u otras representaciones. La computadora funciona automáticamente al manipular tokens entre estados definidos por algoritmos.